Contract Provence Alpes Côte d'Azur (PACA) Region - Inria, BDO (no. 2014-05764) funding the research grant of C. Papageorgakis, see Sections 7.1.1 , 8.3 .